[IA64] fix domain_flush_vtlb_all()
authorawilliam@xenbuild2.aw <awilliam@xenbuild2.aw>
Fri, 12 Jan 2007 00:03:25 +0000 (17:03 -0700)
committerawilliam@xenbuild2.aw <awilliam@xenbuild2.aw>
Fri, 12 Jan 2007 00:03:25 +0000 (17:03 -0700)
commit99954e535e5c835c14a592ad18217b293b64b3e7
tree05f52c9aac02bbe565540dac6b14b5997fae9457
parent14ab6103b51bfb030cc2202b9c51e22c7991b19a
[IA64] fix domain_flush_vtlb_all()

It might called by another domain's vcpu.

Signed-off-by: Isaku Yamahata <yamahata@valinux.co.jp>
xen/arch/ia64/xen/mm.c
xen/arch/ia64/xen/vhpt.c
xen/include/asm-ia64/tlbflush.h